1. Institution-independent model theory
پدیدآورنده : Diaconescu, Razvan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
D53
2008